What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·6h·
Discuss: Substack
🔄compilers
Context Engineering: A Primer
okigu.com·9h·
Discuss: Hacker News
✅formal methods
The quiet software tooling Renaissance
pdx.su·4h·
Discuss: Hacker News
🔄compilers
DeepQuali: Determining Software Quality with AI
blog.qaware.de·13h·
Discuss: Hacker News
✅formal methods
The Five Stages of SRE Maturity: From Chaos to Operational Excellence
oneuptime.com·7h·
Discuss: Hacker News, r/devops, r/programming, r/webdev
🌐network programming
The Immutable Linux Paradox
jnsgr.uk·3h·
Discuss: Hacker News
🔄compilers
Nesper: Program the ESP32 Using Nim
github.com·1h·
Discuss: Hacker News
🔄compilers
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·1d·
Discuss: Hacker News
✅formal methods
Stop using cron Systemd Timers Explained (2023)
coady.tech·17h·
Discuss: Hacker News
✅formal methods
How Inditex is adopting Microfront ends for future-proof platform development
medium.com·9h·
Discuss: Hacker News
🌐network programming
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·1d·
Discuss: Hacker News
✅formal methods
Proper Error Handling for Your Node.js Application
masteringbackend.com·14h·
Discuss: Hacker News
✅formal methods
The AI Engineer's Guide to LLM Observability with OpenTelemetry
agenta.ai·1d·
Discuss: Hacker News
✅formal methods
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·1d·
Discuss: Hacker News
✅formal methods
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·8h·
Discuss: Hacker News
🔄compilers
Wake VMs in 200ms with Light Sleep, eBPF, and Snapshots
koyeb.com·7h·
Discuss: Hacker News
🌐network programming
eBPF 101: Your First Step into Kernel Programming
journal.hexmos.com·1d·
Discuss: Hacker News
🌐network programming
How to Test
matklad.github.io·9h·
Discuss: Hacker News
✅formal methods
EM Tools for Python
emerge-software.com·12h·
Discuss: Hacker News
🌐network programming
Lively Linear Lisp (1992)
plover.com·18h·
Discuss: Lobsters, Hacker News
🔄compilers